\begin{tabbing}
scheme{-}realizes\=\{i:l\}\+
\\[0ex]($S$; ${\it es}$.$P$(${\it es}$))
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $n$,$L$,$R$ = $S$ in $\forall$${\it nmr}$:Namer($n$;$L$). $R$(${\it nmr}$) $\Vdash$\{i\} ${\it es}$.$P$(${\it es}$)
\end{tabbing}